CatDat

Implication Details

Assumptions: exact filtered colimitsself-dual

Conclusions: exact cofiltered limits

Proof: This holds by self-duality.

Show 5 categories using this implication